Calculus of structures - PDFSEARCH.IO - Document Search Engine

Calculus of structures
Results: 64

#	Item
51	(September 16, [removed]Banach and Fr´echet spaces of functions Paul Garrett [removed] http://www.math.umn.edu/˜garrett/ Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2008-09-16 18:07:31 Linear algebra Banach spaces Mathematical structures Calculus Metric geometry Locally convex topological vector space Continuous function Metric space Normed vector space Mathematical analysis Mathematics Algebra
52	iii Introduction In 1965 I first taught an undergraduate course in abstract algebra. It was fun to teach because the material was interesting and the class was outstanding. Five of those students later earned a Ph.D. in Add to Reading List Source URL: www.math.miami.edu Language: English - Date: 2004-03-18 17:56:58 Linear algebra Mathematics education Abstract algebra Calculus Structure Boolean algebra Emmy Noether Algebraic structures Mathematics Algebra
53	SET-THEORETIC SOLUTIONS OF THE YANG–BAXTER EQUATION, RC-CALCULUS, AND GARSIDE GERMS PATRICK DEHORNOY Abstract. Building on a result by W. Rump, we show how to exploit the right-cyclic law (xy)(xz) = (yx)(yz) in order t Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2014-05-06 11:01:23 Semigroup theory Algebraic structures Nonassociative algebra Category theory Monoid Quasigroup Inverse element Entailment Garside element Abstract algebra Algebra Mathematics
54	Description Logics in the Calculus of Structures Jean-David Roubach1,2 , Pascal Yim2 , and Joaquín Rodriguez1 1 INRETS – ESTAS Villeneuve d’Ascq, France Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Non-classical logic Philosophical logic Metalogic Calculus of structures Modal logic Deep inference Structural proof theory Sequent calculus Proof calculus Logic Mathematical logic Proof theory
55	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:35 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
56	What are the fundamental structures of concurrency? We still don’t know! Samson Abramsky Oxford University Computing Laboratory June 7, 2005 Abstract Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:35:49 Process calculus Process calculi Samson Abramsky Proof theory Calculus Computation Computing Causal sets Mathematics Actor model Computer science Concurrency
57	One Variable Advanced Calculus Kenneth Kuttler March 9, 2014 Add to Reading List Source URL: www.math.byu.edu Language: English - Date: 2014-03-09 15:17:06 Algebraic structures Elementary mathematics Elementary algebra Functions and mappings Multiplication Ring Multiplicative inverse Construction of the real numbers Function Mathematics Algebra Abstract algebra
58	International Journal of Foundations of Computer Science Vol. 19, No. i[removed] Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:04 Model theory Predicate logic Mathematical structures Semantics First-order logic Structure Interpretation Monadic predicate calculus Function Logic Mathematical logic Mathematics
59	Classical Modal Display Logic in the Calculus of Structures and Minimal Cut-free Deep Inference Calculi for S5 Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2007-05-11 02:54:57 Non-classical logic Substructural logic Inference Philosophical logic Structural proof theory Sequent calculus Deep inference Sequent Kripke semantics Logic Mathematical logic Proof theory
60	Analytic Combinatorics— A Calculus of Discrete Structures Philippe Flajolet∗ Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2006-12-20 08:35:44 Meromorphic functions Enumerative combinatorics Analytic combinatorics Residue Factorial Number theory Analytic number theory Symbolic combinatorics Stirling numbers and exponential generating functions Mathematics Mathematical analysis Combinatorics

UPDATE